TSTP Solution File: ANA127^1 by Nitpick---2016